|
集合 ''X''1, …, ''X''''k'' 上の関係 ''L'' とは、それらの直積の部分集合 ''L'' ⊆ ''X''1 × … × ''X''''k'' である。 関係は集合の個数 ''k'' により分類される。 : * ''Lu'' は単項関係あるいは性質を表す。 : * ''Luv'' あるいは ''uLv'' は二項関係を表す。 : * ''Luvw'' はを表す。 : * ''Luvwx'' は''四項''関係を表す。 集合 ''X''1, …, ''X''''k'' は定義域と呼ばれる。すべての ''X''''j'' が同じ集合 ''X'' のとき、''L'' を ''X'' 上の ''k'' 項関係と呼ぶ。 == 脚注 == 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「関係 (数学)」の詳細全文を読む スポンサード リンク
|